Perpendicular Lines Theorem

In a coordinate plane, two nonvertical lines are perpendicular if and only if the product of their slopes is -1. Any vertical line is perpendicular to a horizontal line.